#include <stdio.h>
#include <stdint.h>


__attribute((weak)) uint32_t add(uint32_t a, uint32_t b)
{
    return a + b;
}

uint32_t add_fun(uint32_t a, uint32_t b)
{
    return add(a, b);
}
